Voigtländer, Janis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Formalizing semantic bidirectionalization and extensions with dependent types

Grohne, Helmut, Voigtländer, Janis

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 578 KB

english, 2016

2

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Free theorems in the presence of seq

Johann, Patricia, Voigtländer, Janis

Year:

2004

Language:

english

File:

PDF, 243 KB

english, 2004

3

Using Circular Programs to Deforest in Accumulating Parameters

Janis Voigtländer

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 260 KB

english, 2004

4

Deaccumulation techniques for improving provability

Jürgen Giesl, Armin Kühnemann, Janis Voigtländer

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 570 KB

english, 2007

5

Combining syntactic and semantic bidirectionalization

Voigtländer, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 644 KB

english, 2010

6

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Understanding idiomatic traversals backwards and forwards

Bird, Richard, Gibbons, Jeremy, Mehner, Stefan, Voigtländer, Janis, Schrijvers, Tom

Year:

2013

Language:

english

File:

PDF, 563 KB

english, 2013

7

A family of syntactic logical relations for the semantics of Haskell-like languages

Patricia Johann, Janis Voigtländer

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

8

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Free theorems involving type constructor classes

Voigtländer, Janis

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

9

Selective strictness and parametricity in structural operational semantics, inequationally

Janis Voigtländer, Patricia Johann

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 636 KB

english, 2007

10

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Parametricity and Proving Free Theorems for Functional-Logic Languages

Mehner, Stefan, Seidel, Daniel, Straßburger, Lutz, Voigtländer, Janis

Year:

2014

Language:

english

File:

PDF, 304 KB

english, 2014

11

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 9129 || Notions of Bidirectional Computation and Entangled State Monads

Hinze, Ralf, Voigtländer, Janis

Year:

2015

Language:

english

File:

PDF, 377 KB

english, 2015

12

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Proving correctness via free theorems

Voigtländer, Janis

Year:

2008

Language:

english

File:

PDF, 206 KB

english, 2008

13

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Much ado about two (pearl)

Voigtländer, Janis

Year:

2008

Language:

english

File:

PDF, 188 KB

english, 2008

14

Formal Efficiency Analysis for Tree Transducer Composition

Janis Voigtlander

Journal:

Theory of Computing Systems

Year:

2007

Language:

english

File:

PDF, 721 KB

english, 2007

15

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - A Generic Operational Metatheory for Algebraic Effects

Johann, Patricia, Simpson, Alex, Voigtländer, Janis

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

16

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Bidirectionalization for free! (Pearl)

Voigtländer, Janis

Year:

2008

Language:

english

File:

PDF, 379 KB

english, 2008

17

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Strictification of circular programs

Fernandes, João Paulo, Saraiva, João, Seidel, Daniel, Voigtländer, Janis

Year:

2011

Language:

english

File:

PDF, 633 KB

english, 2011

18

Refined typing to localize the impact of forced strictness on free theorems

Daniel Seidel, Janis Voigtländer

Journal:

Acta Informatica

Year:

2011

Language:

english

File:

PDF, 1.10 MB

english, 2011

19

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

VOIGTLÄNDER, JANIS, HU, ZHENJIANG, MATSUDA, KAZUTAKA, WANG, MENG

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 434 KB

english, 2013

20

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Combining syntactic and semantic bidirectionalization

Voigtländer, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng

Year:

2010

Language:

english

File:

PDF, 644 KB

english, 2010

21

[ACM Press the Twelfth Workshop - Tallinn, Estonia (2012.03.31-2012.04.01)] Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications - LDTA '12 - Programming language approaches to bidirectional transformation

Voigtländer, Janis

Year:

2012

Language:

english

File:

PDF, 185 KB

english, 2012

22

Bidirectionalization for free! (Pearl)

Voigtländer, Janis

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 379 KB

english, 2009

23

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 9129 || Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets

Hinze, Ralf, Voigtländer, Janis

Year:

2015

Language:

english

File:

PDF, 370 KB

english, 2015

24

Free theorems in the presence of seq

Johann, Patricia, Voigtländer, Janis

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 243 KB

english, 2004

25

Much ado about two (pearl)

Voigtländer, Janis

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 188 KB

english, 2008

26

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 9129 || A Relation-Algebraic Approach to Multirelations and Predicate Transformers

Hinze, Ralf, Voigtländer, Janis

Year:

2015

Language:

english

File:

PDF, 326 KB

english, 2015

27

Free theorems involving type constructor classes

Voigtländer, Janis

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

28

Editorial

John P. Gallagher, Janis Voigtländer

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 120 KB

english, 2010

29

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 9129 || On Rely-Guarantee Reasoning

Hinze, Ralf, Voigtländer, Janis

Year:

2015

Language:

english

File:

PDF, 870 KB

english, 2015

30

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 9129 || A Program Construction and Verification Tool for Separation Logic

Hinze, Ralf, Voigtländer, Janis

Year:

2015

Language:

english

File:

PDF, 607 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски